On the Efficiency of a Compound Poisson Stopping Rule for Mixed Strategy Testing

نویسنده

  • M. Sahinoglu
چکیده

When testing software, testers rarely use only one technique to generate tests that, they hope, will fulfill their testing criteria. Malaiya showed that testers switch strategies when testing yield saturates. We present and evaluate a stopping rule that can be used to determine when it is time to switch to a different testing technique, because the current one is not likely to increase criteria fulfilment. We demonstrate use of the stopping rule on a program that is being tested for branch coverage with five different testing techniques. We compare savings and accuracy of stopping both with and without using the stopping rule.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An empirical Bayesian stopping rule in testing and verification of behavioral models

Software stopping rules are tools to effectively minimize the time and cost involved in software testing. The algorithms serve to guide the testing process such that if a certain level of branch or fault (or failure) coverage is obtained without the expectation of further significant coverage, then the testing strategy can be stopped or changed to accommodate further, more advanced testing stra...

متن کامل

The Comparison of the shares of stopping power in a soft tissue-equivalent material

Introduction: Proton therapy is a type of radiation treatment that it uses protons to treat cancer. Because of the protons’ unique ability to distribute the radiation dose more directly to the tumor, it minimizes the damage to nearby healthy tissues. The rate of energy loss by the ion in the target is called stopping power. The total stopping power is sum nuclear and electroni...

متن کامل

Multisource Bayesian sequential binary hypothesis testing problem

We consider the problem of testing two simple hypotheses about unknown local characteristics of several independent Brownian motions and compound Poisson processes. All of the processes may be observed simultaneously as long as desired before a final choice between hypotheses is made. The objective is to find a decision rule that identifies the correct hypothesis and strikes the optimal balance...

متن کامل

Achieving the Quality of Verification for Behavioral Models with Minimum Effort

When designing a system in the behavioral level, one of the most important steps to be taken is verifying its functionality before it is released to the logic/PD design phase. One may consider behavioral models as oracles in industries to test against when the final chip is produced. In this work, we use branch coverage as a measure for the quality of verifying/testing behavioral models. Minimu...

متن کامل

دربارۀ شناسایی بیزیِ دنباله‌ای نقطۀ تغییر

The problems of sequential change-point have several important applications in quality control, signal processing, and failure detection in industry and finance and signal detection. We discuss a Bayesian approach in the context of statistical process control: at an unknown time  τ, the process behavior changes and the distribution of the data changes from p0 to p1. Two cases are consi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998